formalized theory - Español Inglés Diccionario